Словарь по логике - символика логическая

система знаков (символов), используемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике:

а, b, с, ...

начальные буквы латинского алфавита, обычно используются для обозначения индивидуальных константных выражений, термов;

A, В, С, ...

прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний;

х, у, z, ...

буквы, стоящие в конце латинского алфавита, обычно используются для обозначения индивидных переменных;

X, Y, Z, ...

прописные буквы, стоящие в конце латинского алфавита, обычно используются для обозначения переменных высказываний или пропозициональных переменных; для той же цели часто используют маленькие буквы середины латинского алфавита: р, q, r, ...;

~ ;

знаки, служащие для обозначения отрицания; читаются: "не", "неверно что";

; ; &

знаки для обозначения конъюнкции логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "и";

л

знак для обозначения неисключающей дизъюнкции логической связки и высказывания, содержащего такую связку в качестве главного знака; читается: "или";

(; ;

знаки для обозначения импликации логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "если, то";

а ;

знаки для обозначения эквивалентности высказываний; читаются: "если и только если";

T ; t

F ; f

истина (от англ. true истина); ложь (от англ. false ложь);

квантор общности; читается "для всякого", "всем";

квантор существования; читается: "существует", "имеется по крайней мере один";

L, N,

знаки для обозначения модального оператора необходимости; читаются: "необходимо, что";

М,

знаки для обозначения модального оператора возможности; читаются: "возможно, что".

Наряду с перечисленными в многозначных, временных, деонтических и других системах логики используются свои специфические символы, однако каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается (см.: Знак логический).